منابع مشابه
Reasoning with Inconsistent Ontologies
In this paper we present a framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance. We examine how the notion of ”concept relevance” can be used for reasoning with inconsistent ontologies. We have implemented a prototype called PION (Processing Inconsistent ONtologies), which is based on a syntactic relevance-based se...
متن کاملReasoning with Inconsistent Ontologies: Evaluation
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.2(WP3.4) PION is a framework for reasoning with inconsistent ontologies. Is is based on the concept of “selection functions” to obtain meaningful answers from a selection of the axioms of a given inconsistent ontology. In this document, we investigate several selection functions, test them with several large scale realistic on...
متن کاملReasoning with Uncertain and Inconsistent OWL Ontologies
Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logicbased ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain o...
متن کاملReasoning with Inconsistent Ontologies: a general framework
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.1.1 (WP3.4) This document is an informal deliverable provided to SEKT WP3 partners. In this document, a general framework for reasoning with inconsistent ontologies is proposed. An inconsistency reasoner is one which is able to return meaningful answers to queries, given an inconsistent ontology. The formal definitions of soun...
متن کاملReasoning with Inconsistent Ontologies: Framework and Prototype
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.1(WP3.4) In this document we propose a general framework for reasoning with inconsistent ontologies. We present formal definitions of soundness, meaningfulness, local completeness, and maximal completeness of an inconsistency reasoner. We propose and investigate a pre-processing algorithm and discuss the strategies of inconsis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsinghua Science and Technology
سال: 2010
ISSN: 1007-0214
DOI: 10.1016/s1007-0214(10)70116-4